x86: Disable IRQs and do WBINVD first in play_dead().
authorKeir Fraser <keir@xen.org>
Wed, 2 Mar 2011 10:23:23 +0000 (10:23 +0000)
committerKeir Fraser <keir@xen.org>
Wed, 2 Mar 2011 10:23:23 +0000 (10:23 +0000)
commit4947f9bdc80526a936a9a90e97c535f8b5b0431a
treef79a1f076c58287abfd506648a89de17cabed67b
parentb0dc112d76191eb17aa053f6c56c2f56be214460
x86: Disable IRQs and do WBINVD first in play_dead().

When we advertise we are dead via cpu_exit_clear(), it is no longer
safe to handle interrupts as our per-cpu vars can go away.

In future, we may want to think about NMI handling in this scenario
too.

Signed-off-by: Keir Fraser <keir@xen.org>
xen/arch/x86/domain.c